161. Conference in Mathematical Logic, London '70
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
255
162. Conference in Mathematical Logic London' 70
پدیدآورنده : edited by Wilfrid Hodges
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
255
163. Constructive order types
پدیدآورنده : Crossley, John N.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
C795
164. Constructive order types
پدیدآورنده : Crossley, John N
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
C795
165. Continuous model theory
پدیدآورنده : Chang, Chen Chung
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
58
166. Continuous model theory
پدیدآورنده : / by Chen Chung Chang, H. Jerome Keisler
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Logic, symbolic and mathematical
رده :
QA9
.
C48
167. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, 0791, Oberwolfach, Ger.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Nonstandard mathematical analysis-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
300
.
S973
1970
168. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, Oberwolfach, Ger.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical analysis, nonstandard-Congresses,Congresses ، Logic, Symbolic and mathematical
رده :
QA
300
.
S973
1970
169. Degrees of unsolvability
پدیدآورنده : Shoenfield, Joseph Robert
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(
رده :
QA
9
.
S518
170. Diagonalization in Formal Mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
171. Dictionary of symbols of mathematical logic
پدیدآورنده : Feys, Robert
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical notations
رده :
QA
9
.
F49
172. Dictionary of symbols of mathematical logic
پدیدآورنده : Edited by Robert Feys and Frederic B. Fitch
کتابخانه: (طهران)
موضوع : Dictionaries ، Logic, Symbolic and mathematical,Dictionaries ، Mathematical notation
رده :
QA
9
.
D528
173. Dictionary of symbols of mathematical logic
پدیدآورنده : Feys, Robert
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical notation
رده :
QA
9
.
F49
174. Discovering Patterns in Mathematics and Poetry
پدیدآورنده : \ Marcia Birken and Anne C. Coon
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
175. Discrete Mathematics
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer Science -- Mathematics
رده :
QA9
.
25
.
E57
2006
176. Discrete and decision
پدیدآورنده : / Ian Bloomfield, John Stevens
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Mathematics -- Textbooks,Logic, Symbolic and mathematical
رده :
510
B655d
177. Discrete mathematics
پدیدآورنده : / Douglas E. Ensley, J. Winston Crawley
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science, Mathematics
رده :
QA9
.
25
.
E57
2006
178. Discrete mathematics
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science- Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
179. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
180. Discrete mathematics And Graph Theory
پدیدآورنده : Purna .Chandra Bisweal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
رده :
510
,
B85
,
2005